logic & formal reasoning
Country:
- Europe > Middle East > Malta > Port Region > Southern Harbour District > Floriana (0.04)
- Europe > Austria > Styria > Graz (0.04)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
- (2 more...)
Genre:
- Instructional Material (0.46)
- Research Report > New Finding (0.45)
Country:
- Europe > United Kingdom > England > Oxfordshire > Oxford (0.14)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
- North America > United States > Massachusetts > Suffolk County > Boston (0.04)
Technology:
Country:
- North America > United States > Minnesota > Hennepin County > Minneapolis (0.14)
- Asia > Middle East > UAE > Abu Dhabi Emirate > Abu Dhabi (0.04)
- North America > United States > Washington > King County > Seattle (0.04)
- (13 more...)
Country:
- Europe > Belgium > Flanders > Flemish Brabant > Leuven (0.04)
- Europe > France (0.04)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
- (6 more...)
9f42f06a54ce3b709ad78d34c73e4363-Paper-Conference.pdf
Therefore, neuro-symbolic RL aims at creating policies that are interpretable in the first place. Unfortunately, interpretability is not explainability. To achieve both, we introduce Neurally gUided Differentiable loGic policiEs (NUDGE).
Country:
- Europe > Germany > Hesse > Darmstadt Region > Darmstadt (0.05)
- South America > Chile > Santiago Metropolitan Region > Santiago Province > Santiago (0.04)
- North America > United States > California (0.04)
- Europe > Netherlands > North Brabant > Eindhoven (0.04)
Industry:
- Leisure & Entertainment > Games (0.46)
- Education (0.46)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Rule-Based Reasoning (0.94)
- (2 more...)
Country:
- North America > United States > California > Los Angeles County > Long Beach (0.14)
- Europe > Slovenia > Central Slovenia > Municipality of Ljubljana > Ljubljana (0.05)
- Europe > Spain > Catalonia > Barcelona Province > Barcelona (0.04)
- (2 more...)
Technology:
- Information Technology > Data Science > Data Mining (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)
- Information Technology > Artificial Intelligence > Natural Language (1.00)
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
Country:
- North America > United States (0.14)
- Oceania > Australia (0.04)
- North America > Canada > Ontario > Toronto (0.04)
- (5 more...)
Technology:
- Information Technology > Artificial Intelligence > Natural Language (1.00)
- Information Technology > Software > Programming Languages (0.93)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (0.93)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.68)
Country:
- North America > United States > Texas > Travis County > Austin (0.04)
- Europe > Ireland > Leinster > County Dublin > Dublin (0.04)
- Asia > Middle East > Jordan (0.04)
- Asia > Japan > Honshū > Chūbu > Toyama Prefecture > Toyama (0.04)
Genre:
- Research Report (0.67)
- Workflow (0.46)
BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information
Recently, Language Models (LMs) have demonstrated complex reasoning capacities even without any finetuning.
Country:
- North America > United States > California > San Francisco County > San Francisco (0.14)
- North America > Canada > Quebec > Montreal (0.04)
- North America > Dominican Republic (0.04)
- (4 more...)
Technology:
- Information Technology > Artificial Intelligence > Natural Language (1.00)
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.68)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Rule-Based Reasoning (0.67)
Learning Pipelines with Limited Data and Domain Knowledge: A Study in Parsing Physics Problems
Mrinmaya Sachan, Kumar Avinava Dubey, Tom M. Mitchell, Dan Roth, Eric P. Xing
Neural Information Processing Systems http://nips.cc/
Country:
- North America > United States > Pennsylvania > Allegheny County > Pittsburgh (0.04)
- North America > Canada > Quebec > Montreal (0.04)
- North America > Canada > Quebec > Capitale-Nationale Region > Québec (0.04)
- (4 more...)
Technology: